منابع مشابه
Special Section on Knowledge-Based Software Engineering
The Institute of Electronics, Information and Communication Engineering (IEICE) Transactions on Information and Systems announces a forthcoming special section on “Knowledge-Based Software Engineering” to be published in July 2018. The objective of this special section is to publish and overview recent progress in the interdisciplinary area of Artificial Intelligence and Software Engineering. B...
متن کاملSpecial section on Software Verification and Testing
We are delighted to present this special section containing extended versions of selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium on Applied Computing (ACM SAC 2013), which took place in March 2013 in Coimbra, Portugal. The SVT track aims to bring together academic researchers and industry R&D expertise to discuss new results in formal verifi...
متن کاملSpecial Section: Open Source Software
While many successful and well-known open source projects produce output of high quality, a general assessment of this development paradigm is still missing. In this paper, an online community of both small and large, successful and failed projects and their programmers is analysed mainly using the version-control data of each project, also according to their productivity and estimation of expe...
متن کاملTowards Research on Software Cybernetics
of software analysis and design. Software theories, such as temporal logic, CSP and CCS, have not been fully applied in control systems analysis or synthesis either. The core of software engineering and that of control theory/engineering have been developed independently of each other. The feasibility of bringing these two cores together has rarely been explored. Our proposed concept of softwar...
متن کاملSoftware Cybernetics
Software Cybernetics explores the interplay between software and control. Though the concepts of software and cybernetics are well known when considered in isolation, the definition and scope of Software Cybernetics is sometimes blurred due to its novelty. A definition of Software Cybernetics and the delineation of its scope are the major goals of this article. Also presented here is a brief de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Event Dynamic Systems
سال: 2012
ISSN: 0924-6703,1573-7594
DOI: 10.1007/s10626-012-0131-5